Assumptions: self-dual, ℵ₁-filtered colimits
Conclusions: ℵ₁-cofiltered limits
Proof: This holds by self-duality.